Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
281	The International Symposium on Environmental Software Systems PROGRAM Hosted by the Bureau of Meteorology Add to Reading List Source URL: www.isess2015.org Language: English - Date: 2015-03-18 02:50:20 Information systems Business intelligence PG Analytics Scientific modelling Benchmarking Decision support system Ethology Knowledge Science Formal sciences
282	Algorithmic metatheorems for decidable LTL model checking over infinite systems Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-03 10:41:37 Formal methods Computer science Linear temporal logic Finite state transducer Model checking Finite-state machine Model theory State transition system Petri net Models of computation Automata theory Theoretical computer science
283	Type and Eect Systems via Abstract Interpretation Jer^ome Vouillon Pierre Jouvelot CRI, Ecole des Mines de Paris fvouillon, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:30:23 Formal methods Order theory Logic in computer science Models of computation Lambda calculus Abstract interpretation Interpretation Galois connection Type system Mathematics Theoretical computer science Logic
284	Formal Methods Meet Domain Speciﬁc Languages Jean-Paul Bodeveix1 , Mamoun Filali1 , Julia Lawall2 , and Gilles Muller3 1 3 Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:26:04 Process Operations research Planning Process state Real-time operating system Blocking Computing Concurrent computing Scheduling
285	MoChArt 2005 Preliminary Version Incremental Verification for On-the-Fly Controller Synthesis David J. Musliner and Michael J. S. Pelican 1,2 Honeywell Laboratories Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2009-08-06 12:04:58 Computer science Applied mathematics Formal verification Model checking Deterministic finite automaton Nondeterministic finite automaton State transition system Models of computation Automata theory Theoretical computer science
286	Towards the Big Data Strategies for EISCAT 3D Yin Chen Add to Reading List Source URL: wiki.egi.eu Language: English - Date: 2013-08-12 06:37:41 Emerging technologies Data management Formal sciences Knowledge representation Metadata Technical communication Geographic information system Big data EISCAT Technology Science Information
287	Formal Treatment of Distributed Trust in Electronic Voting Stephan Neumann and Melanie Volkamer CASED / TU Darmstadt HochschulstraßeDarmstadt, Germany Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2013-12-23 10:48:49 Social choice theory Elections Information society Sociology Voting system Independent Voting machine Scantegrity Politics Electronic voting Psephology
288	Eect Systems with Subtyping Yan Mei Tang Pierre Jouvelot Centre de Recherche en Informatique Ecole Des Mines de Paris E-mail: ftang, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:20:12 Data types Programming language theory Formal methods Object-oriented programming Polymorphism Subtype polymorphism Type system Type safety Lambda calculus Type theory Software engineering Computing
289	Typed λ-calculus: course notes P. B. Levy University of Birmingham 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-04-11 03:52:53 Type theory Formal methods Theoretical computer science Procedural programming languages Proof theory Lambda calculus Type system Standard ML Curry–Howard correspondence Software engineering Programming language theory Mathematics
290	Tobias Nipkow Programming and Proving in Isabelle/HOL le l Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Formal methods Type theory Functional languages Isabelle Lambda calculus HOL Id System F Theoretical computer science Applied mathematics Programming language theory

UPDATE